kernel_interface_library()

kernel_interface_library_sources(
  dec_and_lock.c string.c dump_stack.c usercopy.c params.c
  vsprintf.c kasprintf.c bsearch.c extable.c timerqueue.c
  rwsem.c idtable.c
)

if(CONFIG_LIBFDT)
  kernel_import_library(fdt)
endif()
